Converse elimination in the algebra of binary relations Dimitri Surinx Hasselt University Joint work with Jan Van den Bussche

Source URL: materials.dagstuhl.de

Experimental Thermodynamics and Phase Relations of New Electrode Materials for Li-Ion-Batteries Studies in the systems Li-Sb-Sn, Cu-Li-Sb and the constituent binary systems Li-Sb and Sb-Sn

Source URL: www.spp1473.kit.edu

• Chemistry
• Nature
• Materials science
• Metallurgy
• Phase transitions
• CALPHAD
• Thermodynamic free energy
• Solder
• Alloy
• Intermetallic
• Lithium
• Phase diagram

Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr

Source URL: www.cs.otago.ac.nz

• Mathematics
• Mathematical analysis
• Mathematical logic
• Order theory
• Binary relation
• Set theory
• Equivalence relation
• Asymmetric relation
• Transitive relation
• Equality
• Function
• Reflexive relation

Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio

Source URL: www.acsu.buffalo.edu

• Mathematics
• Algebra
• Logic
• Predicate logic
• Mathematical logic
• Ontology
• Topology
• Algebraic structures
• Mereology
• Metric
• Ring
• Binary relation

Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1

Source URL: math.colorado.edu

• Mathematics
• Equivalence relation
• Equivalence class
• Binary relation
• Transitive relation
• Mathematical logic
• Integer
• Cardinality
• Ternary equivalence relation
• Apartness relation

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive binary quadrati

Source URL: www.mathcs.emory.edu

Event history, binary probit, Markov chains: when should we care with applications to comparative politics and international relations Nathaniel Beck∗†

Source URL: www.nyu.edu

Analysis of Binary Relations and Hierarchies of Enzymes in the Metabolic Pathways Hiroyuki Ogata Hidemasa Bono

Source URL: www.jsbi.org

Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1

Source URL: www-users.york.ac.uk

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Algebraic structures
• Boolean algebra
• Mathematical logic
• Semigroup theory
• Relation algebra
• Monoid
• Residuated Boolean algebra
• Heyting algebra

MITSCH’S ORDER AND INCLUSION FOR BINARY RELATIONS D. G. FITZGERALD Abstract. Mitsch’s natural partial order on the semigroup of binary relations has a complex relationship with the compatible partial order of inclusi

Source URL: www.maths.manchester.ac.uk